New problems of optimal path coordination for multi-vehicle systems

New problems of optimal path coordination for multiple vehicles are introduced, formulated and solved in the framework of dynamic optimization. The novelty of these problems arises in several ways. The cost function and the dynamics include non-trivial dependencies, modeled through existential quantification over groups of vehicles - this leads to non-Lipschitz behavior and to non-standard optimal control problems. There are consumable resources, modeled with the help of integral constraints - the structure of the constraints suggested new strategies for optimal cooperation which outperform the results obtained with standard formulations with state-constraints. Our formulation uses the structure of the problem to decouple the overall optimization into simpler coupled problems in lower-dimensional spaces. This is expressed in the form of the solution, which is encoded as the composition of value functions in lower-dimensional spaces

Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments.

A viability algorithm is developed to compute the constrained minimum time function for general dynamical systems. The algorithm is instantiated for a specific dynamics(Dubin’s vehicle forced by a flow field) in order to numerically solve the minimum time problem. With the specific dynamics considered, the framework of hybrid systems enables us to solve the problem efficiently. The algorithm is implemented in C using epigraphical techniques to reduce the dimension of the problem. The feasibility of this optimal trajectory algorithm is tested in an experiment with a Light Autonomous Underwater Vehicle (LAUV) system. The hydrodynamics of the LAUV are analyzed in order to develop a low-dimension vehicle model. Deployment results from experiments performed in the Sacramento River in California are presented, which show good performance of the algorithm.trajectories; underwater vehicle; viability algorithm; hybrid systems; implementation;

A verified hierarchical control architecture for co-ordinated multi-vehicle operations

A layered control architecture for executing multi-vehicle team co-ordination algorithms is presented along with the specifications for team behaviour. The control architecture consists of three layers: team control, vehicle supervision and maneuver control. It is shown that the controller implementation is consistent with the system specification on the desired team behaviour. Computer simulations with accurate models of autonomous underwater vehicles illustrate the overall approach in the co-ordinated search for the minimum of a scalar field. The co-ordinated search is based on the simplex optimization algorithm

The automatic detection subsystem

Marques, M. M., Lobo, V., Aguiar, A. P., Silva, J. E., de Sousa, J. B., Nunes, M. D. F., Ribeiro, R. A., Bernardino, A., Cruz, G., & Marques, J. S. (2021). An unmanned aircraft system for maritime operations: The automatic detection subsystem. Marine Technology Society Journal, 55(1), 38-49. https://doi.org/10.4031/MTSJ.55.1.4 --- This work was funded by POFC (Programa Operacional Factores de Competitividade) within the National Strategic Reference Framework (QREN) under grant agreement 2013/034063 (SEAGULL, Project Number 34063).This paper addresses the development of an integrated system to support maritime situation awareness based on unmanned aerial vehicles (UAVs), empha-sizing the role of the automatic detection subsystem. One of the main topics of research in the SEAGULL project was the automatic detection of sea vessels from sensors onboard the UAV, to help human operators in the generation of situational awareness of maritime events such as (a) detection and geo-referencing of oil spills or hazardous and noxious substances, (b) tracking systems (e.g., vessels, ship-wrecks, lifeboats, debris), (c) recognizing behavioral patterns (e.g., vessels rendez-vous, high-speed vessels, atypical patterns of navigation), and (d) monitoring environmental parameters and indicators. We describe a system composed of optical sensors, an embedded computer, communication systems, and a vessel detection algorithm that can run in real time in the embedded UAV hardware and provide to human operators vessel detections with low latency, high precision rates (about 99%), and suitable recalls (>50%), which is comparable to other more computationally intensive state-of-the-art approaches. Field test results, including the detection of lifesavers and multiple vessels in red-green-and-blue (RGB) and thermal images, are presented and discussed.publishersversionpublishe

NEOTROPICAL XENARTHRANS: a data set of occurrence of xenarthran species in the Neotropics

Xenarthrans – anteaters, sloths, and armadillos – have essential functions for ecosystem maintenance, such as insect control and nutrient cycling, playing key roles as ecosystem engineers. Because of habitat loss and fragmentation, hunting pressure, and conflicts with 24 domestic dogs, these species have been threatened locally, regionally, or even across their full distribution ranges. The Neotropics harbor 21 species of armadillos, ten anteaters, and six sloths. Our dataset includes the families Chlamyphoridae (13), Dasypodidae (7), Myrmecophagidae (3), Bradypodidae (4), and Megalonychidae (2). We have no occurrence data on Dasypus pilosus (Dasypodidae). Regarding Cyclopedidae, until recently, only one species was recognized, but new genetic studies have revealed that the group is represented by seven species. In this data-paper, we compiled a total of 42,528 records of 31 species, represented by occurrence and quantitative data, totaling 24,847 unique georeferenced records. The geographic range is from the south of the USA, Mexico, and Caribbean countries at the northern portion of the Neotropics, to its austral distribution in Argentina, Paraguay, Chile, and Uruguay. Regarding anteaters, Myrmecophaga tridactyla has the most records (n=5,941), and Cyclopes sp. has the fewest (n=240). The armadillo species with the most data is Dasypus novemcinctus (n=11,588), and the least recorded for Calyptophractus retusus (n=33). With regards to sloth species, Bradypus variegatus has the most records (n=962), and Bradypus pygmaeus has the fewest (n=12). Our main objective with Neotropical Xenarthrans is to make occurrence and quantitative data available to facilitate more ecological research, particularly if we integrate the xenarthran data with other datasets of Neotropical Series which will become available very soon (i.e. Neotropical Carnivores, Neotropical Invasive Mammals, and Neotropical Hunters and Dogs). Therefore, studies on trophic cascades, hunting pressure, habitat loss, fragmentation effects, species invasion, and climate change effects will be possible with the Neotropical Xenarthrans dataset

ATLANTIC-CAMTRAPS: a dataset of medium and large terrestrial mammal communities in the Atlantic Forest of South America

Our understanding of mammal ecology has always been hindered by the difficulties of observing species in closed tropical forests. Camera trapping has become a major advance for monitoring terrestrial mammals in biodiversity rich ecosystems. Here we compiled one of the largest datasets of inventories of terrestrial mammal communities for the Neotropical region based on camera trapping studies. The dataset comprises 170 surveys of medium to large terrestrial mammals using camera traps conducted in 144 areas by 74 studies, covering six vegetation types of tropical and subtropical Atlantic Forest of South America (Brazil and Argentina), and present data on species composition and richness. The complete dataset comprises 53,438 independent records of 83 species of mammals, includes 10 species of marsupials, 15 rodents, 20 carnivores, eight ungulates and six armadillos. Species richness averaged 13 species (±6.07 SD) per site. Only six species occurred in more than 50% of the sites: the domestic dog Canis familiaris, crab-eating fox Cerdocyon thous, tayra Eira barbara, south American coati Nasua nasua, crab-eating raccoon Procyon cancrivorus and the nine-banded armadillo Dasypus novemcinctus. The information contained in this dataset can be used to understand macroecological patterns of biodiversity, community, and population structure, but also to evaluate the ecological consequences of fragmentation, defaunation, and trophic interactions. © 2017 by the Ecological Society of Americ

Software para controlo e gestão de missões de veículos autónomos

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores (Área de especialização de Informática Industrial), na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Professor Fernando Manuel Ferreira Lobo Pereir

Minimal time delivery of multiple robots

Consider a set of autonomous vehicles, each one with a preassigned task to start at a given region. Due to energy constraints, and in order to minimize the overall task completion time, these vehicles are deployed from a faster carrier vehicle. This paper develops a dynamic programming (DP) based solution for the problem of finding the optimal deployment location and time for each vehicle, and for a given sequence of deployments, so that the global mission duration is minimal. The problem is specialized for ocean-going vehicles operating under time-varying currents. The solution approach involves solving a sequence of optimal stopping problems that are transformed into a set variational inequalities through the application of the dynamic programming principle (DPP). The optimal trajectory for the carrier and the optimal deployment location and time for each vehicle to be deployed are obtained in feedback-form from the numerical solution of the variational inequalities. The solution is computed with our open source parallel implementation of the fast sweeping method. The approach is illustrated with two numerical examples.Copyright 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must beobtained for all other uses, in any current or future media, including reprinting/republishingthis material for advertising or promotional purposes, creating new collective works, forresale or redistribution to servers or lists, or reuse of any copyrighted component of this workin other works.QC 20210521</p